Dec($P$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$P$ $\vee$ ($\neg$$P$)